Typing in Model Management
نویسندگان
چکیده
Model management is essential for coping with the complexity introduced by the increasing number and varied nature of artifacts involved in MDE-based projects. Global Model Management (GMM) addresses this issue enabling the representation of artifacts, particularly transformation composition and execution, by a model called a megamodel. Typing information about artifacts can be used for preventing type errors during execution. In this work, we present a type system for GMM that improves its current typing approach and enables formal reasoning about the type of artifacts within a megamodel. This type system is able to capture non-trivial situations such as the use of higher order transformations.
منابع مشابه
Object Management in Postgres Using Procedures
This paper presents the object management facilities being designed into a next-generation data manager, POSTGRES. This system is unique in that it does not invent a new data model for support of objects but chooses instead to extend the relational model with a powerful abstract data typing capability and procedures as full-fledged data base objects. The reasons to remain with the relational mo...
متن کاملUniqueness Typing for Resource Management in Message-Passing Concurrency
We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully managed in settings where resources are scarce. To study this problem, we extend the pi-calculus with primitives for channel allocation and deallocation and allow channels to be reused to communicate values of different types. Inevitably, the added expressiveness increas...
متن کاملChange Management with Roles
Various proposals have been made to extend object-oriented languages and database systems with roles because they allow to weaken strict typing concepts and therefore can provide mechanisms for an object to change its type during its lifetime. But this so-called object migration is not the only advantage ooered by a suitable role model. This paper studies the possibilities to use roles for a ge...
متن کاملA Joint Model for Entity Analysis: Coreference, Typing, and Linking
We present a joint model of three core tasks in the entity analysis stack: coreference resolution (within-document clustering), named entity recognition (coarse semantic typing), and entity linking (matching to Wikipedia entities). Our model is formally a structured conditional random field. Unary factors encode local features from strong baselines for each task. We then add binary and ternary ...
متن کاملFramework supporting Rapid Information Modelling
In this paper, we present a framework capable of supporting Rapid Information Modelling. The management of information is done at the conceptual level without the user having to define a data model for information organisation. We introduce the notion of heterogeneous collections together with a flexible notion of typing. One can easily define new typing constraints according to user needs and ...
متن کامل